Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
151	JInterval Library: Principles, Development, and Perspectives Dmitry Nadezhin1 and Sergei Zhilin2 1 2 Add to Reading List Source URL: conf.nsc.ru Language: English - Date: 2012-05-21 07:17:49 Computer arithmetic Arithmetic Numerical analysis Interval arithmetic Cross-platform software Interval Rounding Java Type-2 fuzzy sets and systems Affine arithmetic
152	On a Gromoll–Meyer type theorem in globally hyperbolic stationary Lorentzian manifolds Joint work with L. Biliotti and F. Mercuri Paolo Piccione Departamento de Matemática Instituto de Matemática e Estatística Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:09:59 Differential geometry Dynamical systems Geodesic Closed geodesic Riemannian manifold Morse theory Connection Orbifold Finsler manifold
153	Credit Card Authorization Form I hereby authorize the use of my credit card for payment of Invoices until notified by me to discontinue the use of such card. Please check card type: _____ American Express _____ Visa ____ Add to Reading List Source URL: www.michaeldusitrucking.com Language: English - Date: 2013-07-02 11:19:24 Payment systems Merchant services E-commerce Credit card Card security code Invoice Payment Controlled payment number Authorization hold
154	Type II 24-hr 25-Year Rainfall=4.30" Mountain View Housing Complex Rev. E Prepared by Applied Microcomputer Systems HydroCAD® 7.00 s/n © Applied Microcomputer Systems Add to Reading List Source URL: www.hydrocad.net Language: English - Date: 2015-04-09 16:58:50 Rivers Weir CFS
155	Model diagnostics in multi-state models of biological systems A dissertation submitted to the University of Cambridge Department of Pure Mathematics and Mathematical Statistics for the degree of Doctor of Philosophy Add to Reading List Source URL: www.maths.lancs.ac.uk Language: English - Date: 2009-03-25 12:42:52 Markov models Markov chain Markov property Monte Carlo method Phase-type distribution
156	TEAS V PROCTOR FEE PAYMENT FORM Test Date: ________________________________ _ PLEASE CHECK YOUR STUDENT TYPE: PLEASE SELECT ONLY ONE Add to Reading List Source URL: www.capitalcc.edu Language: English - Date: 2016-03-21 15:13:35 Payment systems Credit card Fee MasterCard Payment Cheque
157	Themes in Information-Rich Functional Programming for Internet-Scale Data Sources Don Syme, Keith Battocchi, Kenji Takeda Microsoft Research Cambridge, UK Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-05 06:39:50 Markup languages Type theory Type systems Procedural programming languages Functional languages Language Integrated Query JSON Type inference Functional programming Database Programming language Go
158	EXHIBITOR REQUEST FORM 900 Walnut Street Boulder COPhoneFaxAttn: Tim Gumm Exhibitor Information (please print or type) Add to Reading List Source URL: hvis2015.mst.edu Language: English - Date: 2014-03-14 10:15:07 Payment systems Credit card 1080p
159	IFSA Newsletter Vol.2, No.1 Issued on Jan. 31, 2005 http://www.pa.info.mie-u.ac.jp/~furu/ifsa/ NAFIPS – another successful year Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:40 Fuzzy logic Artificial intelligence Logic in computer science Systems scientists Fuzzy set Lotfi A. Zadeh Fuzzy control system Fuzzy Sets and Systems Rough set Type-2 fuzzy sets and systems Genetic fuzzy systems
160	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML

UPDATE